Inhalt des Dokuments

Forschung

EXPRESS/SOS 2019 - Eingeladener Vortrag

Samstag, 05. Januar 2019

Eingeladener Vortrag von Dr. Kirstin Peters mit dem Titel "Comparing Process Calculi Using Encodings" beim EXPRESS/SOS 2019 in Amsterdam.

---